Stateless Memory
نویسندگان
چکیده
منابع مشابه
Stateless connections
We describe a secure transformation of stateful connections or parts of them into stateless ones by attaching the state information to the messages. Secret-key cryptography is used for protection of integrity and con dentiality of the state data and the connections. The stateless protocols created in this way are more robust against denial of service resulting from high loads and resource exhau...
متن کاملStateless Geocasting
We present two stateless algorithms that guarantee to deliver the message to every device in a designated geographic area: flooding and planar geocasting. Due to the algorithms’ statelessness, intermediate devices do not have to keep message data between message transmissions. We formally prove the algorithms correct, estimate their message complexity and evaluate their performance through simu...
متن کاملStateless Computation
We present and explore a model of stateless and self-stabilizing distributed computation, inspired by real-world applications such as routing on today’s Internet. Processors in our model do not have an internal state, but rather interact by repeatedly mapping incoming messages (“labels”) to outgoing messages and output values. While seemingly too restrictive to be of interest, stateless computa...
متن کاملStateless HOL
We present a version of the HOL Light system that supports undoing definitions in such a way that this does not compromise the soundness of the logic. In our system the code that keeps track of the constants that have been defined thus far has been moved out of the kernel. This means that the kernel now is purely functional. The changes to the system are small. All existing HOL Light developmen...
متن کاملOn Stateless Multicounter Machines
We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine has m-counters and it operates on a one-way input delimited by left and right end markers. The move of the machine depends only on the symbol under the input head and the signs of the counters (zero or positive). At each step, every counter can be incremented by 1, decremented by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Critical Times
سال: 2019
ISSN: 2641-0478
DOI: 10.1215/26410478-7862541